MIS <0> : 
  [0] DisjointClasses(<http://miniTambis#physical> <http://miniTambis#structure>)
  [1] SubClassOf(<http://miniTambis#part-of-physical-structure> <http://miniTambis#physical-structure>)
  [2] ClassAssertion(<http://miniTambis#part-of-physical-structure> <http://miniTambis#part-of-physical-structure_node>)
  [3] SubClassOf(<http://miniTambis#physical-structure> ObjectIntersectionOf(<http://miniTambis#physical> <http://miniTambis#structure>))

MIS <1> : 
  [0] ClassAssertion(<http://miniTambis#oxidation-and-reduction> <http://miniTambis#oxidation-and-reduction_node>)
  [1] EquivalentClasses(<http://miniTambis#isomerisation> ObjectIntersectionOf(<http://miniTambis#ligation> <http://miniTambis#process> ObjectSomeValuesFrom(<http://miniTambis#contains> <http://miniTambis#isomers>)) )
  [2] SubClassOf(<http://miniTambis#oxidation-and-reduction> ObjectMinCardinality(1 <http://miniTambis#involves> owl:Thing))
  [3] SubClassOf(<http://miniTambis#oxidation-and-reduction> ObjectAllValuesFrom(<http://miniTambis#involves> <http://miniTambis#isomerisation>))
  [4] SubClassOf(<http://miniTambis#ligation> ObjectAllValuesFrom(<http://miniTambis#involves> <http://miniTambis#racemation>))
  [5] SubClassOf(<http://miniTambis#isomerisation> ObjectSomeValuesFrom(<http://miniTambis#involves> <http://miniTambis#regulation>))
  [6] DisjointClasses(<http://miniTambis#racemation> <http://miniTambis#regulation>)

MIS <2> : 
  [0] ClassAssertion(<http://miniTambis#oxygenation> <http://miniTambis#oxygenation_node>)
  [1] EquivalentClasses(<http://miniTambis#isomerisation> ObjectIntersectionOf(<http://miniTambis#ligation> <http://miniTambis#process> ObjectSomeValuesFrom(<http://miniTambis#contains> <http://miniTambis#isomers>)) )
  [2] SubClassOf(<http://miniTambis#oxidation-and-reduction> ObjectMinCardinality(1 <http://miniTambis#involves> owl:Thing))
  [3] SubClassOf(<http://miniTambis#oxidation-and-reduction> ObjectAllValuesFrom(<http://miniTambis#involves> <http://miniTambis#isomerisation>))
  [4] SubClassOf(<http://miniTambis#ligation> ObjectAllValuesFrom(<http://miniTambis#involves> <http://miniTambis#racemation>))
  [5] SubClassOf(<http://miniTambis#oxygenation> <http://miniTambis#oxidation-and-reduction>)
  [6] SubClassOf(<http://miniTambis#isomerisation> ObjectSomeValuesFrom(<http://miniTambis#involves> <http://miniTambis#regulation>))
  [7] DisjointClasses(<http://miniTambis#racemation> <http://miniTambis#regulation>)

MIS <3> : 
  [0] EquivalentClasses(<http://miniTambis#isomerisation> ObjectIntersectionOf(<http://miniTambis#ligation> <http://miniTambis#process> ObjectSomeValuesFrom(<http://miniTambis#contains> <http://miniTambis#isomers>)) )
  [1] SubClassOf(<http://miniTambis#oxidation-and-reduction> ObjectMinCardinality(1 <http://miniTambis#involves> owl:Thing))
  [2] SubClassOf(<http://miniTambis#oxidation-and-reduction> ObjectAllValuesFrom(<http://miniTambis#involves> <http://miniTambis#isomerisation>))
  [3] SubClassOf(<http://miniTambis#ligation> ObjectAllValuesFrom(<http://miniTambis#involves> <http://miniTambis#racemation>))
  [4] ClassAssertion(<http://miniTambis#peroxidation> <http://miniTambis#peroxidation_node>)
  [5] SubClassOf(<http://miniTambis#isomerisation> ObjectSomeValuesFrom(<http://miniTambis#involves> <http://miniTambis#regulation>))
  [6] DisjointClasses(<http://miniTambis#racemation> <http://miniTambis#regulation>)
  [7] SubClassOf(<http://miniTambis#peroxidation> <http://miniTambis#oxidation-and-reduction>)

MIS <4> : 
  [0] ClassAssertion(<http://miniTambis#Gene-Product> <http://miniTambis#Gene-Product_node>)
  [1] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [2] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [3] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [4] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [5] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [6] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <5> : 
  [0] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [1] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [2] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [3] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [4] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [5] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )
  [6] ClassAssertion(<http://miniTambis#Protein> <http://miniTambis#Protein_node>)

MIS <6> : 
  [0] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [1] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [2] ClassAssertion(<http://miniTambis#DNA> <http://miniTambis#DNA_node>)
  [3] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [4] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [5] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [6] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <7> : 
  [0] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [1] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [2] ClassAssertion(<http://miniTambis#site> <http://miniTambis#site_node>)
  [3] EquivalentClasses(<http://miniTambis#protein-part> ObjectSomeValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) )
  [4] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [5] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [6] SubClassOf(<http://miniTambis#site> <http://miniTambis#protein-part>)
  [7] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [8] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <8> : 
  [0] EquivalentClasses(<http://miniTambis#Peptide> ObjectIntersectionOf(ObjectAllValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) ObjectMinCardinality(1 <http://miniTambis#part-of> owl:Thing)) )
  [1] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [2] ClassAssertion(<http://miniTambis#MultiStrandedPeptide> <http://miniTambis#MultiStrandedPeptide_node>)
  [3] EquivalentClasses(<http://miniTambis#MultiStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(2 <http://miniTambis#hasStrand> owl:Thing)) )
  [4] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [5] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [6] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [7] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [8] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <9> : 
  [0] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [1] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [2] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [3] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [4] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [5] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )
  [6] SubClassOf(<http://miniTambis#HoloProtein> <http://miniTambis#Protein>)
  [7] ClassAssertion(<http://miniTambis#HoloProtein> <http://miniTambis#HoloProtein_node>)

MIS <10> : 
  [0] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [1] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [2] ClassAssertion(<http://miniTambis#protein-part> <http://miniTambis#protein-part_node>)
  [3] EquivalentClasses(<http://miniTambis#protein-part> ObjectSomeValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) )
  [4] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [5] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [6] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [7] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <11> : 
  [0] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [1] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [2] ClassAssertion(<http://miniTambis#HoloProteinReaction> <http://miniTambis#HoloProteinReaction_node>)
  [3] EquivalentClasses(<http://miniTambis#HoloProteinReaction> ObjectIntersectionOf(<http://miniTambis#EnzymeReaction> ObjectSomeValuesFrom(<http://miniTambis#involves> <http://miniTambis#HoloProtein>)) )
  [4] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [5] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [6] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [7] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )
  [8] SubClassOf(<http://miniTambis#HoloProtein> <http://miniTambis#Protein>)

MIS <12> : 
  [0] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [1] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [2] ClassAssertion(<http://miniTambis#HoloEnzyme> <http://miniTambis#HoloEnzyme_node>)
  [3] EquivalentClasses(<http://miniTambis#HoloProteinReaction> ObjectIntersectionOf(<http://miniTambis#EnzymeReaction> ObjectSomeValuesFrom(<http://miniTambis#involves> <http://miniTambis#HoloProtein>)) )
  [4] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [5] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [6] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [7] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )
  [8] EquivalentClasses(<http://miniTambis#HoloEnzyme> ObjectIntersectionOf(<http://miniTambis#Enzyme> ObjectSomeValuesFrom(<http://miniTambis#participatesIn> <http://miniTambis#HoloProteinReaction>)) )
  [9] SubClassOf(<http://miniTambis#HoloProtein> <http://miniTambis#Protein>)

MIS <13> : 
  [0] EquivalentClasses(<http://miniTambis#Peptide> ObjectIntersectionOf(ObjectAllValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) ObjectMinCardinality(1 <http://miniTambis#part-of> owl:Thing)) )
  [1] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [2] EquivalentClasses(<http://miniTambis#SingleStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(1 <http://miniTambis#hasStrand> owl:Thing)) )
  [3] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [4] ClassAssertion(<http://miniTambis#SingleStrandedPeptide> <http://miniTambis#SingleStrandedPeptide_node>)
  [5] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [6] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [7] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [8] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <14> : 
  [0] ClassAssertion(<http://miniTambis#Peptide> <http://miniTambis#Peptide_node>)
  [1] EquivalentClasses(<http://miniTambis#Peptide> ObjectIntersectionOf(ObjectAllValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) ObjectMinCardinality(1 <http://miniTambis#part-of> owl:Thing)) )
  [2] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [3] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [4] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [5] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [6] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [7] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <15> : 
  [0] EquivalentClasses(<http://miniTambis#Peptide> ObjectIntersectionOf(ObjectAllValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) ObjectMinCardinality(1 <http://miniTambis#part-of> owl:Thing)) )
  [1] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [2] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [3] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [4] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [5] ClassAssertion(<http://miniTambis#Hydrolysis> <http://miniTambis#Hydrolysis_node>)
  [6] SubClassOf(<http://miniTambis#Hydrolysis> ObjectSomeValuesFrom(<http://miniTambis#relatedTo> <http://miniTambis#Proteosis>))
  [7] EquivalentClasses(<http://miniTambis#SingleStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(1 <http://miniTambis#hasStrand> owl:Thing)) )
  [8] EquivalentClasses(<http://miniTambis#MultiStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(2 <http://miniTambis#hasStrand> owl:Thing)) )
  [9] EquivalentClasses(<http://miniTambis#Proteosis> ObjectUnionOf(ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#MultiStrandedPeptide>) ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#SingleStrandedPeptide>)) )
  [10] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [11] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <16> : 
  [0] EquivalentClasses(<http://miniTambis#Peptide> ObjectIntersectionOf(ObjectAllValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) ObjectMinCardinality(1 <http://miniTambis#part-of> owl:Thing)) )
  [1] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [2] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [3] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [4] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [5] SubClassOf(<http://miniTambis#Hydrolysis> ObjectSomeValuesFrom(<http://miniTambis#relatedTo> <http://miniTambis#Proteosis>))
  [6] SubClassOf(<http://miniTambis#Anion> ObjectSomeValuesFrom(<http://miniTambis#participatesIn> <http://miniTambis#Hydrolysis>))
  [7] EquivalentClasses(<http://miniTambis#SingleStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(1 <http://miniTambis#hasStrand> owl:Thing)) )
  [8] EquivalentClasses(<http://miniTambis#MultiStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(2 <http://miniTambis#hasStrand> owl:Thing)) )
  [9] EquivalentClasses(<http://miniTambis#Proteosis> ObjectUnionOf(ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#MultiStrandedPeptide>) ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#SingleStrandedPeptide>)) )
  [10] ClassAssertion(<http://miniTambis#Anion> <http://miniTambis#Anion_node>)
  [11] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [12] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <17> : 
  [0] EquivalentClasses(<http://miniTambis#Peptide> ObjectIntersectionOf(ObjectAllValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) ObjectMinCardinality(1 <http://miniTambis#part-of> owl:Thing)) )
  [1] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [2] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [3] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [4] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [5] SubClassOf(<http://miniTambis#ReductProteoseReaction> ObjectSomeValuesFrom(<http://miniTambis#relatedTo> <http://miniTambis#Proteosis>))
  [6] ClassAssertion(<http://miniTambis#ReductProteoseReaction> <http://miniTambis#ReductProteoseReaction_node>)
  [7] EquivalentClasses(<http://miniTambis#SingleStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(1 <http://miniTambis#hasStrand> owl:Thing)) )
  [8] EquivalentClasses(<http://miniTambis#MultiStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(2 <http://miniTambis#hasStrand> owl:Thing)) )
  [9] EquivalentClasses(<http://miniTambis#Proteosis> ObjectUnionOf(ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#MultiStrandedPeptide>) ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#SingleStrandedPeptide>)) )
  [10] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [11] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <18> : 
  [0] EquivalentClasses(<http://miniTambis#Peptide> ObjectIntersectionOf(ObjectAllValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) ObjectMinCardinality(1 <http://miniTambis#part-of> owl:Thing)) )
  [1] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [2] EquivalentClasses(<http://miniTambis#SingleStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(1 <http://miniTambis#hasStrand> owl:Thing)) )
  [3] EquivalentClasses(<http://miniTambis#MultiStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(2 <http://miniTambis#hasStrand> owl:Thing)) )
  [4] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [5] ClassAssertion(<http://miniTambis#Proteosis> <http://miniTambis#Proteosis_node>)
  [6] EquivalentClasses(<http://miniTambis#Proteosis> ObjectUnionOf(ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#MultiStrandedPeptide>) ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#SingleStrandedPeptide>)) )
  [7] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [8] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [9] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [10] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <19> : 
  [0] EquivalentClasses(<http://miniTambis#Peptide> ObjectIntersectionOf(ObjectAllValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) ObjectMinCardinality(1 <http://miniTambis#part-of> owl:Thing)) )
  [1] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [2] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [3] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [4] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [5] SubClassOf(<http://miniTambis#ReductProteoseReaction> ObjectSomeValuesFrom(<http://miniTambis#relatedTo> <http://miniTambis#Proteosis>))
  [6] ClassAssertion(<http://miniTambis#OxyReductReaction> <http://miniTambis#OxyReductReaction_node>)
  [7] EquivalentClasses(<http://miniTambis#SingleStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(1 <http://miniTambis#hasStrand> owl:Thing)) )
  [8] EquivalentClasses(<http://miniTambis#MultiStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(2 <http://miniTambis#hasStrand> owl:Thing)) )
  [9] EquivalentClasses(<http://miniTambis#Proteosis> ObjectUnionOf(ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#MultiStrandedPeptide>) ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#SingleStrandedPeptide>)) )
  [10] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [11] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )
  [12] SubClassOf(<http://miniTambis#OxyReductReaction> ObjectSomeValuesFrom(<http://miniTambis#relatedTo> <http://miniTambis#ReductProteoseReaction>))

MIS <20> : 
  [0] EquivalentClasses(<http://miniTambis#Peptide> ObjectIntersectionOf(ObjectAllValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) ObjectMinCardinality(1 <http://miniTambis#part-of> owl:Thing)) )
  [1] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [2] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [3] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [4] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [5] SubClassOf(<http://miniTambis#Hydrolysis> ObjectSomeValuesFrom(<http://miniTambis#relatedTo> <http://miniTambis#Proteosis>))
  [6] EquivalentClasses(<http://miniTambis#SingleStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(1 <http://miniTambis#hasStrand> owl:Thing)) )
  [7] EquivalentClasses(<http://miniTambis#Hydrolase> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#Hydrolysis>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#AminoAcid>) ObjectMinCardinality(1 <http://miniTambis#hasStrand> owl:Thing)) )
  [8] EquivalentClasses(<http://miniTambis#MultiStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(2 <http://miniTambis#hasStrand> owl:Thing)) )
  [9] EquivalentClasses(<http://miniTambis#Proteosis> ObjectUnionOf(ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#MultiStrandedPeptide>) ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#SingleStrandedPeptide>)) )
  [10] ClassAssertion(<http://miniTambis#Hydrolase> <http://miniTambis#Hydrolase_node>)
  [11] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [12] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <21> : 
  [0] EquivalentClasses(<http://miniTambis#Peptide> ObjectIntersectionOf(ObjectAllValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) ObjectMinCardinality(1 <http://miniTambis#part-of> owl:Thing)) )
  [1] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [2] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [3] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [4] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [5] SubClassOf(<http://miniTambis#Hydrolysis> ObjectSomeValuesFrom(<http://miniTambis#relatedTo> <http://miniTambis#Proteosis>))
  [6] SubClassOf(<http://miniTambis#Anion> ObjectSomeValuesFrom(<http://miniTambis#participatesIn> <http://miniTambis#Hydrolysis>))
  [7] EquivalentClasses(<http://miniTambis#SingleStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(1 <http://miniTambis#hasStrand> owl:Thing)) )
  [8] EquivalentClasses(<http://miniTambis#MultiStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(2 <http://miniTambis#hasStrand> owl:Thing)) )
  [9] EquivalentClasses(<http://miniTambis#Proteosis> ObjectUnionOf(ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#MultiStrandedPeptide>) ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#SingleStrandedPeptide>)) )
  [10] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [11] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )
  [12] ClassAssertion(<http://miniTambis#MonovalentIon> <http://miniTambis#MonovalentIon_node>)
  [13] SubClassOf(<http://miniTambis#MonovalentIon> <http://miniTambis#Anion>)

MIS <22> : 
  [0] EquivalentClasses(<http://miniTambis#Peptide> ObjectIntersectionOf(ObjectAllValuesFrom(<http://miniTambis#part-of> <http://miniTambis#Protein>) ObjectMinCardinality(1 <http://miniTambis#part-of> owl:Thing)) )
  [1] SubClassOf(<http://miniTambis#Deoxy-Ribo-Nucleotide> <http://miniTambis#Ribo-Nucleotide>)
  [2] EquivalentClasses(<http://miniTambis#RNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Ribo-Nucleotide>)) )
  [3] EquivalentClasses(<http://miniTambis#DNA> <http://miniTambis#Gene-Product> )
  [4] EquivalentClasses(<http://miniTambis#Gene-Product> <http://miniTambis#Protein> )
  [5] ClassAssertion(<http://miniTambis#DivalentIon> <http://miniTambis#DivalentIon_node>)
  [6] SubClassOf(<http://miniTambis#Hydrolysis> ObjectSomeValuesFrom(<http://miniTambis#relatedTo> <http://miniTambis#Proteosis>))
  [7] SubClassOf(<http://miniTambis#Anion> ObjectSomeValuesFrom(<http://miniTambis#participatesIn> <http://miniTambis#Hydrolysis>))
  [8] SubClassOf(<http://miniTambis#DivalentIon> <http://miniTambis#Anion>)
  [9] EquivalentClasses(<http://miniTambis#SingleStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(1 <http://miniTambis#hasStrand> owl:Thing)) )
  [10] EquivalentClasses(<http://miniTambis#MultiStrandedPeptide> ObjectIntersectionOf(<http://miniTambis#Peptide> ObjectMinCardinality(2 <http://miniTambis#hasStrand> owl:Thing)) )
  [11] EquivalentClasses(<http://miniTambis#Proteosis> ObjectUnionOf(ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#MultiStrandedPeptide>) ObjectSomeValuesFrom(<http://miniTambis#catalyses> <http://miniTambis#SingleStrandedPeptide>)) )
  [12] DisjointClasses(<http://miniTambis#Protein> <http://miniTambis#RNA>)
  [13] EquivalentClasses(<http://miniTambis#DNA> ObjectIntersectionOf(<http://miniTambis#macromolecular-compound> ObjectSomeValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>) ObjectAllValuesFrom(<http://miniTambis#polymerOf> <http://miniTambis#Deoxy-Ribo-Nucleotide>)) )

MIS <23> : 
  [0] EquivalentClasses(<http://miniTambis#isomerisation> ObjectIntersectionOf(<http://miniTambis#ligation> <http://miniTambis#process> ObjectSomeValuesFrom(<http://miniTambis#contains> <http://miniTambis#isomers>)) )
  [1] SubClassOf(<http://miniTambis#ligation> ObjectAllValuesFrom(<http://miniTambis#involves> <http://miniTambis#racemation>))
  [2] SubClassOf(<http://miniTambis#isomerisation> ObjectSomeValuesFrom(<http://miniTambis#involves> <http://miniTambis#regulation>))
  [3] DisjointClasses(<http://miniTambis#racemation> <http://miniTambis#regulation>)
  [4] ClassAssertion(<http://miniTambis#isomerisation> <http://miniTambis#isomerisation_node>)

****************************************
 Time (ms) to compute MIS is : 1000049

 The number of found MIS is : 0
****************************************
